Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
541	Artificial Intelligence E LSEV I ER Artificial Intelligence[removed]366 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-09-16 15:57:11 Mathematics Functional predicate Function Formal grammar Definite clause grammar Context-free grammar Syntax Propositional calculus First-order logic Formal languages Logic Mathematical logic
542	Microsoft Word[removed]All 12.doc Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-05-11 17:43:54 Formal methods Theoretical computer science Handout Humanitarian aid First-order logic Programming language ALGOL 68 Predicate transformer semantics Parallel computing Computing Software engineering Computer programming
543	Efficiently Executing Information Gathering Plans Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:17:48 Computing Database management systems Programming paradigms Software engineering Deductive database Function Algorithm Predicate Logic programming Mathematics Query languages Datalog
544	Measuring the Complexity of Join Enumeration in Query Optimization Kiyoshi OnoI, Guy M. Lehman IRM Almaden Research Center KS5/80 I, 650 Harry Road San ,Josc, CA 95120 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:23:52 Computing Mathematical logic Query optimizer Join Query plan Query optimization Select Predicate FO Data management Database management systems SQL
545	May 2008 DRAFT Linear Logical Algorithms Robert J. Simmons Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-07-11 10:59:20 Mathematical logic Predicate logic Non-classical logic Linear logic Proposition Function Algorithm Atomic formula Inference Logic Propositional calculus Logical syntax
546	Structure Learning via Parameter Learning William Yang Wang Kathryn Mazaitis William W. Cohen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-25 09:41:11 Reasoning Quantification Automated theorem proving Predicate logic Logic programming Prolog Resolution Datalog First-order logic Logic Mathematics Mathematical logic
547	Creating Features from a Learned Grammar in a Simulated Student Nan Li and Abraham Schreiber and William W. Cohen and Kenneth R. Koedinger1 Abstract. Understanding and developing intelligent agents that simulate human le Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-10-01 10:08:43 Science Programming paradigms Compiler construction Machine learning Predicate logic Predicate Parse tree Parsing Logic programming Logic Formal languages Linguistics
548	Microsoft PowerPoint - advanced [Compatibility Mode] Add to Reading List Source URL: dl3.zipform.com Language: English - Date: 2015-02-26 17:23:18 Propositional calculus Logic Linguistics Clause Logic programming Predicate logic
549	Microsoft Word - IntensifiersAndMeasurePhrasesWithVerbs.extendedAbstract.revised.docx Add to Reading List Source URL: www.zas.gwz-berlin.de Language: English - Date: 2012-11-13 11:48:26 Syntax Logic Intensifier Adjective Predicate Auxiliary verb Noun Copula Adverb Parts of speech Linguistics Grammar
550	Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems Christos Efstratiou1 , Adrian Friday1 , Nigel Davies1,2 and Keith Cheverst1 1 Computing Department Lancaster University Add to Reading List Source URL: eprints.lancs.ac.uk Language: English - Date: 2011-07-07 12:10:50 Logic in computer science Logic programming Knowledge representation Event calculus Fluent Predicate logic Programming paradigms Futures and promises Adaptive management Mathematical logic Mathematics Logic

UPDATE